StandardDS  DS({1..6}) 

latex

Definitions	t  T, DS(A), StandardDS, if b then t else f fi , x:A. B(x), P  Q, tt, , ff, {i..j}, , Unit, P  Q, P & Q,
Lemmas	ifthenelse wf, eq int wf, IdLnk wf, Id wf, int seg wf, bool wf, iff transitivity, assert wf, eqtt to assert, assert of eq int, idlnk-deq wf, bnot wf, not wf, eqff to assert, assert of bnot, not functionality wrt iff, id-deq wf, deq wf